Formal analysis

Results: 1589



#Item
561Computing / Science / Data analysis / Formal sciences / Languageware / Analytics / IBM / Unstructured data / Text analytics / Statistics / Business intelligence / Natural language processing

emerging technology solutions gain insights for your business and customers with

Add to Reading List

Source URL: www-01.ibm.com

Language: English - Date: 2014-11-20 11:27:30
562Formal languages / Computing / Automata theory / Models of computation / Parsing / Lexical analysis / Context-free grammar / Parse tree / Regular expression / Programming language implementation / Software engineering / Compiler construction

Automatic construction of parse trees for lexemes ∗ Danny Dub´e Anass Kadiri Universit´e Laval

Add to Reading List

Source URL: www.schemeworkshop.org

Language: English - Date: 2011-08-12 16:48:41
563Data analysis / Official statistics / Formal sciences / Data management / Data visualization / Visualization / Office for National Statistics / Open data / Statistics / Information / Science / Data

The potential of Web2.0 communities for statistics Donatella Fazio ()1, Katherine Scrivens ()2, Maria Grazia Calza()3 Keywords: new sources of data, crowd sourcing

Add to Reading List

Source URL: www.webcosi.eu

Language: English - Date: 2015-04-13 08:46:18
564Serial Item and Contribution Identifier

A Formal Analysis of the Cambridge Economic Policy Group Model Francis Cripps; Wynne Godley Economica, New Series, Vol. 43, NoNov., 1976), ppStable URL: http://links.jstor.org/sici?sici=%28197

Add to Reading List

Source URL: www.soas.ac.uk

Language: English - Date: 2012-09-24 09:18:54
    565Labour economics / Complex analysis

    A A.1 Appendix: Formal Description of Market Equilibrium Set up

    Add to Reading List

    Source URL: www.esri.go.jp

    Language: English - Date: 2015-03-09 05:09:24
    566Business / Visualization / Data analysis / Technology / Analytics / Mathematical finance / Data visualization / Vodafone / Business analytics / Business intelligence / Formal sciences / Data management

    Sophistication from Simplification CREDIT RISK ANALYTICS FOR WORLDS LARGEST TELCO About MAPCITE. MAPCITE is a location intelligence software company committed to helping global organisations gain more insight from their

    Add to Reading List

    Source URL: www.mapcite.com

    Language: English - Date: 2013-09-04 03:23:16
    567Probability / Ethics / Decision theory / Probabilistic risk assessment / Game theory / Nash equilibrium / Quantitative analyst / Risk analysis / Formal sciences / Risk

    Using Game Theory to analyze Risk to Privacy

    Add to Reading List

    Source URL: www.cs.kau.se

    Language: English - Date: 2010-08-18 04:12:00
    568Science / Formal sciences / Data analysis / Business analytics / Data warehousing / Performance management / Analytics / Web analytics / Marketing performance measurement and management / Business intelligence / Data management / Business

    Master in Business Analytics & Big Data You drive innovation. 10 MONTHS • FULL-TIME • MADRID • OCTOBER

    Add to Reading List

    Source URL: mbd.ie.edu

    Language: English - Date: 2014-12-12 04:08:50
    569Computational statistics / Data analysis / Cheminformatics / Multivariate statistics / Formal sciences / JOELib / K-means clustering / Feature selection / Cluster analysis / Statistics / Machine learning / Science

    5.6 Additional File 6: Initial Implemented OpenTox Algorithms Algorithm web services are key components of the overall OpenTox Framework and also important parts of Use Case-related implementations, as they are responsib

    Add to Reading List

    Source URL: jcheminf.com

    Language: English
    570Type theory / Formal methods / Type systems / Constraint programming / Satisfiability Modulo Theories / Type inference / Logic programming / Hindley–Milner / Algorithm / Mathematics / Theoretical computer science / Applied mathematics

    Formal analysis and implementation of the Faust programming language Report of first PhD year Imré Frotier de la Messelière1 PhD advisor: Pierre Jouvelot1 PhD co-advisor: Jean-Pierre Talpin2

    Add to Reading List

    Source URL: www.cri.ensmp.fr

    Language: English - Date: 2014-12-19 09:00:24
    UPDATE